Action semantics - PDFSEARCH.IO - Document Search Engine

Action semantics
Results: 53

#	Item
21	NSADComputing Invariants with Transformers: Experimental Scalability and Accuracy Vivien Maisonneuve1 , Olivier Hermant2 and François Irigoin3 MINES ParisTech, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 05:35:01 Control flow Loop invariant Transformer Precondition KeY Group action Predicate transformer semantics Theoretical computer science Software engineering Mathematics
22	Belief Revision with Sensing and Fallible Actions James P. Delgrande Hector J. Levesque School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:46:26 Formal languages Mathematical logic Interpretation Philosophy of language Philosophy of mind Semantics Action description language Function Mathematics Logic Model theory
23	i Submitted in partial fulfilment of the requirements for the degree of Doctor of Literature, International Management Centre Association, 2005 Add to Reading List Source URL: www.aral.com.au Language: English - Date: 2012-04-22 02:10:22 Research Education theory Educational psychology Explication Semantics Semiotics Action research Reflective practice Education Learning Knowledge
24	Politics and the English Language by George Orwell Most people who bother with the matter at all would admit that the English language is in a bad way, but it is generally assumed that we cannot by conscious action do an Add to Reading List Source URL: msvadacchino.files.wordpress.com Language: English - Date: 2013-06-24 14:13:10 Syntax Rhetoric Semantics Politics and the English Language Metaphor Preposition and postposition Euphemism Sentence Idiom Linguistics Literature Figures of speech
25	IEEE TRANSACTIONS ON AUTONOMOUS MENTAL DEVELOPMENT 1 Conceptual Imitation Learning Based on Perceptual and Functional Characteristics of Action Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2013-05-14 17:00:07 Semantics Cognitive science Mental processes Cognitive architecture Neuropsychological assessment Concept learning Categorization Prototype Hidden Markov model Mind Cognition Science
26	Using UML Action Semantics for Executable Modeling and Beyond Gerson Suny´e, Fran¸cois Pennaneac’h, Wai-Ming Ho, Alain Le Guennec, and Jean-Marc J´ez´equel IRISA, Campus de Beaulieu, F[removed]Rennes Cedex, France em Add to Reading List Source URL: gerson.sunye.free.fr Language: English - Date: 2009-04-01 17:29:09 Data modeling Meta-Object Facility Object Constraint Language UML tool ECO Metamodeling Object Management Group Finite-state machine Stereotype Unified Modeling Language Software engineering Software development
27	Politics and the English Language By George Orwell Most people who bother with the matter at all would admit that the English language is in a bad way, but it is generally assumed that we cannot by conscious action do an Add to Reading List Source URL: www.npr.org Language: English - Date: 2009-06-23 14:13:09 Semantics Syntax Rhetoric Parts of speech Politics and the English Language Metaphor Preposition and postposition Sentence Euphemism Linguistics Literature Figures of speech
28	Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1 Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-08-20 15:39:34 Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic
29	Modeling Multi-Agent Domains in an Action Languages: an Empirical Study Using C Tran Cao Son and Enrico Pontelli Dept. Computer Science New Mexico State University tson \| epontell @cs.nmsu.edu Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-12 21:22:45 Science Multi-agent systems Epistemology Frame problem Knowledge representation Agent-based model Stable model semantics Function Action description language Artificial intelligence Logic programming Mathematics
30	Exploring the KD45n Property of a Kripke Model After the Execution of an Action Sequence Tran Cao Son and Enrico Pontelli Chitta Baral and Gregory Gelfond Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2014-11-28 03:28:24 Mathematics Model theory Philosophical logic Artificial intelligence Epistemic modal logic Kripke semantics Structure Symbol Logic Mathematical logic Modal logic

UPDATE